CDC02-REG0793 Supervisory Control Problems of Hierarchical Finite State Machines
نویسندگان
چکیده
The situation under consideration is that of a given Discrete Event System (DES), whose behavior has to be modified by means of a feedback control (named Supervisor) in order to achieve a given set of requirements that the initial DES did not satisfy. To do so, the DES is modeled as a Hierarchical Finite State Machine (HFSM). Further, instead of translating the HFSM to ordinary state machines and using classical synthesis tools on the resulting FSM, we here present algorithms that solve the Non-Blocking Supervisory Control Problem (for a particular case of forbidden state avoidance problem) as well as the Optimal Control Problem without expanding the HFSM.
منابع مشابه
Supervisory Control Problems of Hierarchical Finite State Machines
Abstract The situation under consideration is that of a given Discrete Event System (DES), whose behavior has to be modified by means of a feedback control (named Supervisor) in order to achieve a given set of requirements that the initial DES did not satisfy. To do so, the DES is modeled as a Hierarchical Finite State Machine (HFSM). Further, instead of translating the HFSM to ordinary state m...
متن کاملSupervisory Control of Product and Hierarchical Discrete Event Systems
In this paper, the supervisory control of a class of Discrete Event Systems is investigated. Discrete event systems are modeled either by a collection of Finite State Machines that behave asynchronously or by a Hierarchical Finite State Machine. The basic problem of interest is to ensure the invariance of a set of particular configurations in the system. When the system is modeled as asynchrono...
متن کاملStructural transformations of probabilistic finite state machines
Probabilistic finite state machines have recently emerged as a viable tool for modelling and analysis of complex non-linear dynamical systems. This paper rigorously establishes such models as finite encodings of probability measure spaces defined over symbol strings. The well known Nerode equivalence relation is generalized in the probabilistic setting and pertinent results on existence and uni...
متن کاملModel-driven migration of supervisory machine control architectures
Supervisory machine control is the high-level control in advanced manufacturing machines that is responsible for the coordination of manufacturing activities. Traditionally, the design of such control systems is based on finite state machines. An alternative, more flexible approach is based on task-resource models. This paper describes an approach for the migration of supervisory machine contro...
متن کاملSupervisory Control of Structured Discrete Event Systems
In this paper, the control of a class of Discrete Event Systems is investigated. Discrete event systems are modeled by a collection of loosely synchronous Finite State Machines. The basic problem of interest is to ensure the invariance of a set of particular configurations in the system. We provide algorithms that, based on a particular decomposition of the set of forbidden configurations, loca...
متن کامل